Romeo and Leishmania

ROMEO Deliverable DX.Y

Romeo and Juliets: a Modern Workplace Tragedy

Shakespeare's Romeo and Juliet starts out as a classic love story: boy meets girl, boy falls in love with girl, boy and girl get married. Of course, it turns into a tragedy when they realize that their relationship is destined to fail. Surprisingly, many offices in corporate America follow a similar-though less morbid--trend. A 2005 survey revealed that 58% of employees had dated someone at wor...

ROMEO: ReputatiOn Model Enhancing OpenID Simulator

OpenID is a standard decentralized initiative aimed at allowing Internet users to use the same personal account to access different services. Since it does not rely on any central authority, it is hard for such users or other entities to validate the trust level of each entity deployed in the system. Some research has been conducted to handle this issue, defining a reputation framework to deter...

Rethink Organization to iMprove Education and Outcomes (ROMEO)

OBJECTIVE A trial was performed to establish whether our group care model for lifestyle intervention in type 2 diabetes can be exported to other clinics. RESEARCH DESIGN AND METHODS This study was a 4-year, two-armed, multicenter controlled trial in 13 hospital-based diabetes clinics in Italy (current controlled trials no. ISRCTN19509463). A total of 815 non-insulin-treated patients aged <80 ...

Romeo: A Tool for Analyzing Time Petri Nets

In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool also deals with an extension of Time Petri Nets (Sche...